The spiritual geography of Russian cosmism. General characteristics ; Recent definitions of cosmism -- Forerunners of Russian cosmism. Vasily Nazarovich Karazin (1773-1842) ; Alexander Nikolaevich Radishchev (1749-1802) ; Poets: Mikhail Vasilyevich Lomonosov, (1711-1765) and Gavriila Romanovich Derzhavin (1743-1816) ; Prince Vladimir Fedorovich Odoevsky (1803-1869) ; Aleksander Vasilyevich Sukhovo-Kobylin (1817-1903) -- The Russian philosophical context. Philosophy as a passion ; The destiny of Russia ; Thought as a call for action ; The totalitarian cast of mind -- The religious and (...) spiritual context. The kingdom of god on earth ; Hesychasm: two great Russian saints ; The Third Rome ; Pre-Christian antecedents -- The Russian esoteric context. Early searches for "deep wisdom" ; Popular magic ; Higher magic in the time of Peter the Great ; Esotericism after Peter the Great ; Theosophy and anthroposophy -- Nikolai Fedorovich Fedorov (1829-1903), the philosopher of the common task ; The one idea ; The unacknowledged prince ; The village teacher ; First disciple: Dostoevsky and Tolstoy ; The Moscow librarian ; Last years: Askhabad: the only portrait -- The "common task" ; Esoteric dimensions of the "common task" ; Fedorov's legacy: projectivism, delo, regulation -- The religious cosmists. Vladimir Sergeevich Solovyov (1853-1900) ; Sergei Nikolaevich Bulgakov (1871-1944) ; Pavel Aleksandrovich Florensky (1882-1937) ; Nikolai Aleksandrovich Berdyaev (1874-1948) -- The scientific cosmists. Konstantin Edouardovich Tsiolkovsky (1857-1935) ; Vladimir Ivanovich Vernadsky (1863-1945) ; Alexander Leonidovich Chizhevsky (1897-1964) ; Vasily Feofilovich Kuprevich (1897-1969) -- Promethean theurgy. Life-creation ; Cultural immortalism ; God-building ; Re-aiming the arrows of Eros ; Technological utopianism ; Occultism -- Fedorov's twentieth century followers. Nikolai Pavlovich Peterson (1844-1919) and Vladimir Aleksandrovich Kozhevnikov (1852-1917) ; Svyatogor and the biocosmists ; New wine and the universal task ; Alexander Konstantinovich Gorsky (1886-1943) and Nikolai Alexandrovich Setnitsky (1888-1937) ; Valerian Nikolaevich Muravyov (1885-1932) ; Vasily Nikolaevich Chekrygin (1897-1922) -- Cosmism and its offshoots today. The N.F. Fedorov museum-library ; The Tsiolkovsky museum and Chizhevsky center ; ISRICA - Institute for Scientific Research in Cosmic Anthropoecology ; Lev Nikolaevich Gumilev (1912-1992) and neo-eurasianism ; The hyperboreans ; Scientific immortalism: Igor Vishev, Danila Medvedev ; Conclusions about the Russian cosmists. (shrink)

We conducted two experiments to determine whether common folk think that so-called _tell-tale sign_ bald-faced lies are intended to deceive—since they have not been tested before. These lies involve tell-tale signs (e.g. blushing) that show that the speaker is lying. Our study was designed to avoid problems earlier studies raise (these studies focus on a kind of bald-faced lie in which supposedly everyone knows that what the speaker says is false). Our main hypothesis was that the participants will think that (...) the protagonists from our examples lied without intending to deceive, and the results of our surveys confirmed this hypothesis: most of our participants rated tell-tale sign lies as lies not intended to deceive. Therefore, our analysis suggests that common folk think that some lies are not intended to deceive. (shrink)

Arguably, the existence of bald-faced (i.e. knowingly undisguised) lies entails that not all lies are intended to deceive. Two kinds of bald-faced lies exist in the literature: those based on some common knowledge that implies that you are lying and those that involve tell-tale signs (e.g. blushing) that show that you are lying. I designed the tell-tale sign bald-faced lies to avoid objections raised against the common knowledge bald-faced lies but I now see that they are more problematic than what (...) I initially thought. Therefore, I will discuss these lies in more detail, refine the existing cases, and resolve some anticipated objections. I conclude that tell-tale sign bald-faced lies are genuine lies not intended to deceive. (shrink)

According to one influential argument put forward by, e.g. Chisholm and Feehan, Pfister, Meibauer, Dynel, Keiser, and Harris, asserting requires intending to give your hearer a reason to believe what you say (first premise) and, because liars must assert what they believe is false (second premise), liars necessarily intend to cause their hearer to believe as true what the liars believe is false (conclusion). According to this argument, that is, all genuine lies are intended to deceive. ‘Lies’ not intended to (...) deceive are not genuine lies because they do not involve assertions and you need to assert in order to lie. In this paper, I reject this argument by arguing that the first premise is false: intending to give your hearer a reason to believe what you say is not necessary for asserting. (shrink)

In his 2018 AJP paper, Shlomo Cohen hints that deception could be a distinct subset of manipulation. We pursue this thought further, but by arguing that Cohen’s accounts of deception and manipulation are incorrect. Deception under uncertainty need not involve adding false premises to the victim’s reasoning but it must involve manipulating her response, and cases of manipulation that do not interfere with the victim’s reasoning, but rather utilize it, also exist. Therefore, deception under uncertainty must be constituted by covert (...) manipulation. (shrink)

This book offers a comprehensive account of logic that addresses fundamental issues concerning the nature and foundations of the discipline. The authors claim that these foundations can not only be established without the need for strong metaphysical assumptions, but also without hypostasizing logical forms as specific entities. They present a systematic argument that the primary subject matter of logic is our linguistic interaction rather than our private reasoning and it is thus misleading to see logic as revealing "the laws of (...) thought". In this sense, fundamental logical laws are implicit to our "language games" and are thus more similar to social norms than to the laws of nature. Peregrin and Svoboda also show that logical theories, despite the fact that they rely on rules implicit to our actual linguistic practice, firm up these rules and make them explicit. By carefully scrutinizing the project of logical analysis, the authors demonstrate that logical rules can be best seen as products of the so called reflective equilibrium. They suggest that we can profit from viewing languages as "inferential landscapes" and logicians as "geographers" who map them and try to pave safe routes through them. This book is an essential resource for scholars and researchers engaged with the foundations of logical theories and the philosophy of language. (shrink)

The article attempts to raise a question and give an answer to it regarding the evaluation of the philosophical creativity of Hermann Cohen, the German-Jewish thinker of the late XIX - early XX century. Moreover, following the philosophical style of Cohen himself, the question posed and discussed in the article is not idle, but it contains a hypothesis that forms our answer in a certain way. It is important to identify the difficulties and intellectual determinants that prevent the formation of (...) a clear and unambiguous answer. At the same time these difficulties contain an initiating moment for opening a philosophical debate. The historical and philosophical reasons that make the very beginning of the discussion of the question more complex, are considered. The article, of course, cannot claim to be an exhaustive answer on such a fundamental topic, which is contained in the designated question. But the article itself, and the articles following it in the section devoted to the work of Herman Cohen, may be indicate that the time for this discussion has come. (shrink)

In this study, voluntary and involuntary visual attention focused on different interpretations of a bistable image, were investigated using magnetoencephalography. A Necker cube with sinusoidally modulated pixels' intensity in the front and rear faces with frequencies 6.67 Hz and 8.57 Hz, respectively, was presented to 12 healthy volunteers, who interpreted the cube as either left- or right-oriented. The tags of these frequencies and their second harmonics were identified in the average Fourier spectra of the MEG data recorded from the visual (...) cortex. In the first part of the experiment, the subjects were asked to voluntarily control their attention by interpreting the cube orientation as either being on the left or right. Accordingly, we observed the dominance of the corresponding spectral component, and voluntary attention performance was measured. In the second part of the experiment, the subjects were asked to focus their gaze on a red marker at the center of the cube image without putting forth effort in its interpretation. The alternation of the dominant spectral energies at the second harmonics of the stimulation frequencies was treated as changes in the cube orientation. Based on the results of the first experimental stage and using a wavelet analysis, we developed a method which allowed us to identify the currently perceived cube orientation. Finally, we characterized involuntary attention using the distribution of dominance times when focusing attention on one of the cube orientations, which was related to voluntary attention performance and brain noise. In particular, we confirmed our hypothesis that higher attention performance is associated with stronger brain noise. (shrink)

Several attempts have recently been made to point to ‘the proper place’ for hydrogen in the Periodic Table of the elements. There are altogether five different types of arguments that lead to the following conclusions: hydrogen should be placed in group 1, above lithium; hydrogen should be placed in group 17, above fluorine; hydrogen is to be placed in group 14, above carbon; hydrogen should be positioned above both lithium and fluorine and hydrogen should be treated as a stand-alone element, (...) in the center of the Periodic Table. Although all proposals are based on arguments, not all of them sound equally convincing. An attempt is made, after critical reexamination of the arguments offered, to hopefully point to the best possible choice for the position of hydrogen. A few words are also mentioned on the structure of the Periodic Table and the attempts to reorganize it. (shrink)

The logic of single-conclusion proofs () is introduced. It combines the verification property of proofs with the single valuedness of proof predicate and describes the operations on proofs induced by modus ponens rule and proof checking. It is proved that is decidable, sound and complete with respect to arithmetical proof interpretations based on single-valued proof predicates. The application to arithmetical inference rules specification and -admissibility testing is considered. We show that the provability in gives the complete admissibility test for the (...) rules which can be specified by schemes in -language. The test is supplied with the ground proof extraction algorithm which eliminates the admissible rules from a -proof by utilizing the information from the corresponding -proofs. (shrink)

Our investigation is concerned with the finite model property with respect to admissible rules. We establish general sufficient conditions for absence of fmp w. r. t. admissibility which are applicable to modal logics containing K4: Theorem 3.1 says that no logic λ containing K4 with the co-cover property and of width > 2 has fmp w. r. t. admissibility. Surprisingly many, if not to say all, important modal logics of width > 2 are within the scope of this theorem–K4 itself, (...) S4, GL, K4.1, K4.2, S4.1, S4.2, GL.2, etc. Thus the situation is completely opposite to the case of the ordinary fmp–the absolute majority of important logics have fmp, but not with respect to admissibility. As regards logics of width ≤ 2, there exists a zone for fmp w. r. t. admissibility. It is shown that all modal logics A of width ≤ 2 extending S4 which are not sub-logics of three special tabular logics have fmp w.r.t. admissibility. (shrink)

ABSTRACT Two models of the Aristotelian syllogistic in arithmetic of natural numbers are built as realizations of an old Leibniz idea. In the interpretation, called Scholastic, terms are replaced by integers greater than 1, and s.Ap is translated as “s is a divisor of p”, sIp as “g.c.d. > 1”. In the interpretation, called Leibnizian, terms are replaced by proper divisors of a special “Universe number” u < 1, and sAp is translated as “s is divisible by p”, sIp as (...) ‘l.c.m. < u”. Both interpretations are proved to be adequate to the Aristotelian syllogistic. They are extended to syllogistic including term negation and term conjunction as well. (shrink)

When we engage with fictions, we are, in effect, pretending to deal with reports of actual events. After all, numerous fictional works are explicitly designed to facilitate this kind of pretense. This was the prevailing understanding of fiction in both analytic philosophy and classical narratology for decades. However, there is a significant problem with this view: many fictional narratives routinely portray scenarios that could not possibly be the subject of anyone’s reporting. Currie’s 'mindless fictions' are one such example. This issue (...) can be referred to as the problem of unreportability. The standard solution to this challenge has been to argue that fictions are not pretend reports, but rather direct authorial stipulations to imagine specific scenarios. This paper contends, however, that such an explanation fails to provide a satisfactory account of fiction. By drawing on Walton’s notion of ‘silly questions’, it instead argues for a revised version of the report model-one that doesn’t necessarily depend on ubiquitous fictional reporters. (shrink)

The aim of this paper is to look from the point of view of admissibility of inference rules at intermediate logics having the finite model property which extend Heyting's intuitionistic propositional logic H. A semantic description for logics with the finite model property preserving all admissible inference rules for H is given. It is shown that there are continuously many logics of this kind. Three special tabular intermediate logics λ, 1 ≥ i ≥ 3, are given which describe all tabular (...) logics preserving admissibility: a tabular logic λ preserves all admissible rules for H iff 7λ has width not more than 2 and is not included in each λ. MSC: 03B55, 03B20. (shrink)

An application of diagrams for separating modes of theory development.

This paper deals with the notion of intelligibility crisis in terms of conflict and harmony. Namely, we will analyze the notion of intelligibility from MacIntyre’s philosophical opus and apply it to the historical case. Intelligibility, according to MacIntyre, is the notion which provides us with contextual meaning and embeds our actions with sense within the specific tradition. Intelligibility crisis is the term that is coined to provide a descriptive account of the phenomenon when we cannot connect ourselves with a new (...) social context in which we find ourselves in. To further elaborate on this and apply it onto an example, we shall use the historical case of the Yugoslavian nation. We will provide analysis between three different contextual narratives – pre-Yugoslav narrative, Yugoslav narrative, and post-Yugoslav narrative. After applying the notion of intelligibility crisis onto this historical case study, we will notice how people of one social narrative lose intelligibility by going into another social narrative. Furthermore, we shall consider the notions of conflicts and harmony as those that are connected to intelligibility. The main argument from the descriptive state of things which was offered would be the following – conflicting sentiments arise when we are not in harmony with the narrative within which we have attained intelligibility. (shrink)

El presente trabajo se propone rescatar la resistencia y la crítica al poder imperial romano del libro del Apocalipsis como una fuente fundamental para la teología moral cristiana, que lo convirtieron en un foco de luz que ilumina el camino de la conducta humana hacia un mundo mejor. Al mismo tiempo, ofrece pautas para la defensa de la vida en un entorno donde los totalitarismos políticos, económicos y religiosos atentan contra ella. Además, quiere destacar dicha resistencia y crítica como uno (...) de los factores generadores, y por tanto centrales, de la teología del Apocalipsis. Para ello se utilizarán los principios metodológicos de la lectura contextual que parten de la convicción según la cual el texto es una expresión de las vivencias comunitarias del hagiógrafo y de su actitud ante las circunstancias sociales que lo provocaron. El libro busca afectar el entorno, pero este también configura el contenido de la obra escrita. En un segundo momento, con el método se indaga qué de ese momento histórico puede iluminar el presente del lector. En el caso del Apocalipsis, se elegirán los textos en los que el autor presente los temas y actores principales de la trama, a saber: el ser supremo sentado en el trono, el cordero y el mal —simbolizado específicamente en el tercer jinete—, ya que en ellos se juega el mensaje del libro, la soberanía divina que humaniza o la soberanía diabólica deshumanizante. (shrink)

Introduction. The emerging paradigm of socio- cultural development of the Russian Federation’s local communities is conditioned by the trans- formation of production and economic practices based on the concept of a multi-layered economy and multifunctionality emerging under the pressure of globalization on the development of localities. The desire to preserve and maintain socio-cultural traditions, customs, and values is an axiological guideline for developing local communities. The growing social vulnerability of communities creates certain conditions for losing identity, ability for self-identification, and (...) leads to the destruction of socio-cultural identity. The purpose of the study. The article analyzes the problem of socio-cultural evolution when modern- izing production and economic activity generating factors causing the transformation of culture and sociality of local communities, thus determining the processes of integration and disintegration of socioculture. Methods. Sociocultural analysis provides an op- portunity to reveal the main directions of sociocul- tural development of local communities, to explain the essence of interaction, mutual influence and unification of local communities into an interactive socio-cultural space with compatible formations and components. Scientific novelty of the research. The author dis- plays the models of culture and sociality transfor- mation reflecting the processes of modification of the local communities’ lifestyle that determine the transition from the paradigm of sustainable tradi- tional socio-cultural development to the paradigm of innovative transformations. Results. The problem of sociocultural integration and disintegration is associated with globalization processes that generate contradictions of globality and locality. The processes of integration/disin- tegration of the local communities’ sociocultural development are conditioned by the culture and sociality evolution of the constructing model of socio-cultural behavior. The pressure of globaliza- tion plunges the socio-cultural space into a state of diffusion, instability. Historically established traditions, norms, values are transformed into intermediate forms that help to adapt to new living conditions, neutralize the negative consequences of modernization. Territorial sociocultural formations are being formed, within the framework of which attempts are being made to preserve the tradition- al socio-cultural environment. Conclusions. The dynamics of sociocultural pro- cesses determines the emergence of multidirec- tional poles of sociocultural life: from the desire to preserve the traditional socio-cultural environment, to the full acceptance of the meaningful qualities of liberal socio-culture, which destroys the sociocul- tural identity of local communities. (shrink)

This paper argues against Galen Strawson’s criticism of the narrativist identity thesis. Strawson points out that the narrativist thesis fails to portray those with an episodic perception of themselves. I claim that episodicity is rather problematic and that we should question the validity of this notion. The first step in this goal is to decipher Strawson’s basis of the self which is an amalgam between the cultural and social and is perceived differently by different people. Afterwards, I will try to (...) use the claims derived from Strawson’s basis and apply the critique of his method. I pose a question about the relationship between episodic and diachronic and, ultimately, argue that both culturally and biologically, assuming the diachronic aspect of the self is necessary, apart from the very small number of cases. In this sense, the main conclusion is that Strawson’s thesis is limiting but does not pose a valid alternative to the narrativist identity thesis. (shrink)

The political teachings of Thomas Hobbes and Carl Schmitt imply fundamental ontological structures that reflect the processes of the genesis, assertion, and destruction of political being. The article investigates similarities and differences between these political projects. The approach applied by the author is marked by a reliance on the theoretical analysis of the Leviathan's frontispiece and by employing the conceptual framework of Giorgio Agamben's Homo sacer project. The application of these theoretical optics helps to evaluate the political significance of the (...) present people (the people composed of living human beings) in Hobbes's and Schmitt's contexts and to detect the notable difference between the two projects. The article highlights that political existence presupposes the total depoliticization of the present people in the framework of Hobbes's philosophy. It is argued that the security of the present people's life becomes an underlying condition for the mentioned construction (and is therefore ontologically significant). The provision of security potentially saves the sovereign's own life and guarantees recognition by the subjects. An investigation of Schmitt's teaching reveals the political significance of the present people. Since - according to Schmitt - political will is understood only in the context of political enmity (the necessary "horizon” of which is armed confrontation), it is concluded that the political significance of the present people is closely associated with its members' readiness to die in the war. Due to the fact that political existence is generated through the decision on the public enemy (in which the present people might be involved via acclamation procedures), the resoluteness toward death that underlies this decision must be considered as the key factor of Carl Schmitt's political ontology. In light of this statement, it is argued that the project of Martin Heidegger's Being and Time could be considered as Carl Schmitt's "unwritten" ontology of the individual being. (shrink)

Cílem studie je zodpovědět otázku, co znamená v interpretujících humanitních či sociálních vědách zkoumat narativně. Interpretace je pojata jako explikace utváření významu. V návaznosti na toto pojetí je identifikována řada interpretačních dilemat. V tomto kontextu je uveden narativní přístup jako řešení těchto dilemat. Je pojednáno o povaze narativní perspektivy, o vztahu narativity a zkušenosti a o povaze narativních dat. Narativní výzkum je chápán jako rekonstrukce způsobů, jakými je utvářen význam narativními prostředky. Narativní interpretace umožňuje pohybovat se pružně a efektivně: 1) (...) mezi explicitními daty a exemplifikačními schématy, 2) mezi jedincem a kulturou, 3) mezi hermeneutikou podezření a hermeneutikou důvěry, 4) mezi částmi a celkem, 5) mezi obsahem a formou, 6) mezi strukturou a funkcí. (shrink)

David Miller v pracích Critical Rationalism a Out of Error se jako jeden z mála Popperových žáků snaží nejen o vysvětlení a obhájení Popperova kritického racionalismu, ale zároveň i o jeho další rozvinutí. Millerovo znovunastolení kritického racionalismu ovšem předpokládá, že k racionálnímu jednání není třeba žádných „dobrých důvodů“, ale jen argumentů. Uvedená stať se zaměřuje právě na tuto otázku existence tzv. „dobrých důvodů“ ve spojení s racionalitou a racionálním rozhodováním a ukazuje, že Millerův požadavek neexistence „dobrých důvodů“ je nejen příliš (...) radikální, ale i nepřijatelný z hlediska Popperova nebo Musgravova pojetí kritického racionalismu. (shrink)

Stať se zabývá diskusemi o epistemologicko-metodologické roli simulací v soudobé vědě. Soustředí se nejprve na aktuálnost těchto diskusí v současné metodologii vědy a následně na její návaznost na určitou myšlenkovou tradici z osmdesátých let 20. století, kdy diskuse kolem modelování vyvolaly řadu otázek zpochybňujících tradiční pojmové distinkce, především mezi experimentem a teorií. Stať se přiklání v rámci těchto diskusí k názorům, které řadí simulace k novým a specifickým nástrojům vědy, jež také vyžadují novou a specifickou metodologii a epistemologické postavení. Pro (...) podporu této názorové pozice jsou uvedeny některé aktuální analýzy konkrétních příkladů simulací a jejich specifického postavení v moderní vědě. (shrink)

. We demonstrate that a comprehensive nonstandard set theory can be developed in the standard $\displaystyle{\in}$ -language. As an illustration, a nonstandard ${\sf Law of Large Numbers}$ is obtained.

We study models of HST . This theory admits an adequate formulation of the isomorphism propertyIP, which postulates that any two elementarily equivalent internally presented structures of a well-orderable language are isomorphic. We prove that IP is independent of HST and consistent with HST.

During the late Soviet era, science fiction was one of the first zones of its ideological cosmos, registering the exhaustion of the communist utopia precisely within the literary genre aimed at its representation. In this article I consider the history of the “editing to death” of the Strugatsky brothers’ short novel Roadside Picnic as a representative case of the anti-utopian “uneasiness in civilization” of late actually existing socialism. Simultaneously with the censorship taming of the uneasiness, the Strugatsky’s science fiction dystopia (...) underwent a radical interpretation in Andrei Tarkovsky’s film adaptation Stalker as a Hegelian “good music with text”. In comparison to the censored edition, which is barely a timid emendation, ultimately yearning modestly for a good life during the most consumeristic and moderately repressive years of Soviet power, Tarkovsky’s aesthetically singular re-reading is truly a “Zone” of editing to death. (shrink)

Iznimni utjecaj tehnologije na ljudski život oduvijek je bio paradoksalan. Primjerice, tehnologija je jedan od činitelja koji pridonosi neizvjesnosti budućnosti uslijed unutarnje proturječnosti tehničkog sustava i društva. Naime, što je tehnologija moćnija to je svijet uznemireniji. Pojedini autori izražavaju mišljenje da je upravo tehnodiskurs u stvari diskurs čovječnosti i način njezina poboljšanja. Unatoč ovome, pojedini autori, humanisti prije svega, misle da se tehnologija može ispuniti tradicionalnim vrijednostima. U stvari, oni smatraju da današnja kultura ima samo djelatnu vrijednost odjeljenu od tradicije (...) koja je oblikovana tehničkim napretkom i ekonomskim potrebama. Kultura je snažna oblikovateljica ljudskoga ponašanja jer je temelj svjesnih i nesvjesnih uvjerenja. Ona je put »ispravnih« načina života. Ne ugrožava li razvoj tehnike i tehnologije taj put »ispravnih« načina života?The extraordinary influence of technology on the human life has always been a paradox. For example, one of the factors contributing to an increase of uncertainty of the future of technology is internal contradictions of the technical system and society. For instance, a vulnerability to accidents grows proportionally with the size of organizations. Similarly, the more powerful a technology is, the more it disturbs the world. Some people think that the technodiscourse is a discourse about humanity and the ways of advancing it. Some humanists, on the other hand, think that the technology can be saturated with traditional values. Today’s culture has just an operational value detached from tradition, molded by the technical progress and economic needs. Culture is a powerful shaper of human behavior because it is the foundation of conscious and unconscious beliefs. It is the way of ‘proper’ ways to live. Can we do something in that way? We think we can. (shrink)

The keynote idea of the theses is contained in the author’s assumption that modern philosophy doesn’t meet its claiming pretensions: to be universal form of knowledge. First of all philosophy is connected not with knowledge but with ideas and secondly being authentic it “exists only in everyday life”.1 In orderthat philosophy could realize its innate essence corresponding conditions of social being should exist but they are still absent and therefore philosophy is absent as well. Its place is occupied by metaphysics (...) which is free movement of thinking that has no definiteness as the condition of being of any form of thought. That iswhy we watch crisis state of “philosophy” which becomes apparent in vagueness of its subject: “philosophy is not only one, there are many of them”. The author supposes that philosophy as the highest relation of mankind to objective reality is the only one. Philosophy lowered down from the heaven (Platon, Ciceron) in the field of human being must raise people not only to purity of thought, but mainly to purity of their activity both with each other and with nature. Then real interaction of men and nature will take place. This will be the beginning of spiritualization of the Universe. It may exist only under the conditions of social uniformity as historical form of Weltanschauung (world outlook) that removes religious form. Realization of its being supposes fundamental change of social life. It is necessary that private property should be replaced with social property in the sphere of social production. Only under these conditions philosophy may appear and exist as historical form of Weltanschauung. (shrink)

V celej Heideggerovej tvorbe predstavuje recepcia dejín filozofie dominantný rozmer jeho filozofického u?enia. Autor štúdie sa zamýš?a nad problémom, ?i Heidegger mohol úspešne zav?ši? dokon?enie svojho diela Bytie a ?as ako ho pôvodne ohlásil pri prvom vydaní . Zis?uje, že nenaplnenie pôvodných zámerov k druhej nenapísanej ?asti práce nebolo vôbec náhodným dôsledkom. H?adanie odpovede na otázku bytia v druhej polovici práce Bytie a ?as sústredením sa na filozofické u?enia Kanta, Descarta a Aristotela nemohlo prinies? o?akávané výsledky, preto sa Heidegger po (...) obrate sústredil najmä na recepciu chápania bytia v diele Hegela, Leibniza, Herakleita a Parmenida. V tejto súvislosti autor zis?uje, že ani táto vážna zmena základnej orientácie na dejiny filozofie nemohla by? úspešne zav?šená hlavným problémom Heideggerovej filozofie – premyslie? bytie bez jestvujúcna a tak prejs? od metafyziky jestvujúcna k metafyzike Bytia. (shrink)

This note is about the “calculational style” of presenting proofs introduced by Dijkstra and Scholten and adopted in some books on theoretical computer science. We define the concept of a calculation, which is a formal counterpart of the idea of a calculational proof. The definition is in terms of a new formalization DS of predicate logic. Any proof tree in the system DS can be represented as a sequence of calculations. This fact shows that any logically valid predicate formula has (...) a calculational proof. (shrink)